A constructive examination of rectifiability
نویسندگان
چکیده
منابع مشابه
Constructive Examination of a Russell-style Ramified Type Theory
In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-Löf type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of Russell’s reducibility axiom are valid, namely functional reducibility. This is sufficient to make the type hierarchy usable for development of constructive mathema...
متن کاملRectifiability of flat chains
We prove (without using Federer’s structure theorem) that a finite-mass flat chain over any coefficient group is rectifiable if and only if almost all of its 0-dimensional slices are rectifiable. This implies that every flat chain of finite mass and finite size is rectifiable. It also leads to a simple necessary and sufficient condition on the coefficient group in order for every finite-mass fl...
متن کاملConstructive versus Improvement Heuristics: An Investigation of Examination Timetabling
Examination timetabling has been a widely studied research problem for over 30 years, with many techniques being used to produce good quality solutions. The majority of the techniques rely on producing an initial solution using a constructive heuristic, and then improving it via a local search [1,2,3], relying on the correct setting of internal parameters to allow generally acceptable results f...
متن کاملUniform measures and uniform rectifiability
In this paper it is shown that if μ is an n-dimensional Ahlfors-David regular measure in R which satisfies the so-called weak constant density condition, then μ is uniformly rectifiable. This had already been proved by David and Semmes in the cases n = 1, 2 and d − 1, and it was an open problem for other values of n. The proof of this result relies on the study of the n-uniform measures in R. I...
متن کاملMenger curvature and rectifiability
E3 c(x, y, z)dH(x)dH(y)dH(z) where H1 is the 1-dimensional Hausdorff measure in Rn, c(x, y, z) is the inverse of the radius of the circumcircle of the triangle (x, y, z), that is, following the terminology of [6], the Menger curvature of the triple (x, y, z). A Borel set E ⊂ Rn is said to be “purely unrectifiable” if for any Lipschitz function γ : R → Rn, H1(E ∩ γ(R)) = 0 whereas it is said to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Analysis
سال: 2016
ISSN: 1759-9008
DOI: 10.4115/jla.2016.8.4